[INFO] fetching crate chalk-solve 0.66.0...
[INFO] building chalk-solve-0.66.0 against master#881c1ac408d93bb7adaa3a51dabab9266e82eee8 for issue-85264
[INFO] extracting crate chalk-solve 0.66.0 into /workspace/builds/worker-6/source
[INFO] validating manifest of crates.io crate chalk-solve 0.66.0 on toolchain 881c1ac408d93bb7adaa3a51dabab9266e82eee8
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+881c1ac408d93bb7adaa3a51dabab9266e82eee8" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate chalk-solve 0.66.0
[INFO] finished tweaking crates.io crate chalk-solve 0.66.0
[INFO] tweaked toml for crates.io crate chalk-solve 0.66.0 written to /workspace/builds/worker-6/source/Cargo.toml
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+881c1ac408d93bb7adaa3a51dabab9266e82eee8" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }`
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+881c1ac408d93bb7adaa3a51dabab9266e82eee8" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded chalk-ir v0.66.0
[INFO] [stderr]   Downloaded chalk-derive v0.66.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:20528e8c29e4536546f0102ce88568b16ea7538393a33fcca951030f7af10457" "/opt/rustwide/cargo-home/bin/cargo" "+881c1ac408d93bb7adaa3a51dabab9266e82eee8" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 173effda6f6a5f11e9598fc8382368ea59f436b3b789c2e8b2a70fa3190f6b1d
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "173effda6f6a5f11e9598fc8382368ea59f436b3b789c2e8b2a70fa3190f6b1d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "173effda6f6a5f11e9598fc8382368ea59f436b3b789c2e8b2a70fa3190f6b1d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "173effda6f6a5f11e9598fc8382368ea59f436b3b789c2e8b2a70fa3190f6b1d", kill_on_drop: false }`
[INFO] [stdout] 173effda6f6a5f11e9598fc8382368ea59f436b3b789c2e8b2a70fa3190f6b1d
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:20528e8c29e4536546f0102ce88568b16ea7538393a33fcca951030f7af10457" "/opt/rustwide/cargo-home/bin/cargo" "+881c1ac408d93bb7adaa3a51dabab9266e82eee8" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] e78b4b012f7b35d97bfcda4bc1361357fe726c401f355ccec556b8f70cf79040
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "e78b4b012f7b35d97bfcda4bc1361357fe726c401f355ccec556b8f70cf79040", kill_on_drop: false }`
[INFO] [stderr]    Compiling autocfg v1.0.1
[INFO] [stderr]    Compiling syn v1.0.72
[INFO] [stderr]    Compiling cfg-if v1.0.0
[INFO] [stderr]    Compiling serde v1.0.126
[INFO] [stderr]    Compiling log v0.4.14
[INFO] [stderr]    Compiling libc v0.2.95
[INFO] [stderr]    Compiling byteorder v1.4.3
[INFO] [stderr]    Compiling hashbrown v0.9.1
[INFO] [stderr]    Compiling fixedbitset v0.2.0
[INFO] [stderr]    Compiling either v1.6.1
[INFO] [stderr]    Compiling termcolor v1.1.2
[INFO] [stderr]    Compiling tracing-core v0.1.18
[INFO] [stderr]    Compiling regex v1.5.4
[INFO] [stderr]    Compiling sharded-slab v0.1.1
[INFO] [stderr]    Compiling itertools v0.10.0
[INFO] [stderr]    Compiling regex-automata v0.1.9
[INFO] [stderr]    Compiling num-traits v0.2.14
[INFO] [stderr]    Compiling num-integer v0.1.44
[INFO] [stderr]    Compiling indexmap v1.6.2
[INFO] [stderr]    Compiling tracing-log v0.1.2
[INFO] [stderr]    Compiling ena v0.14.0
[INFO] [stderr]    Compiling matchers v0.0.1
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling petgraph v0.5.1
[INFO] [stderr]    Compiling chrono v0.4.19
[INFO] [stderr]    Compiling tracing-serde v0.1.2
[INFO] [stderr]    Compiling serde_json v1.0.64
[INFO] [stderr]    Compiling synstructure v0.12.4
[INFO] [stderr]    Compiling tracing-attributes v0.1.15
[INFO] [stderr]    Compiling chalk-derive v0.66.0
[INFO] [stderr]    Compiling chalk-ir v0.66.0
[INFO] [stderr]    Compiling tracing v0.1.26
[INFO] [stderr]    Compiling tracing-subscriber v0.2.18
[INFO] [stderr]    Compiling tracing-tree v0.1.9
[INFO] [stderr]    Compiling chalk-solve v0.66.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 27.84s
[INFO] running `Command { std: "docker" "inspect" "e78b4b012f7b35d97bfcda4bc1361357fe726c401f355ccec556b8f70cf79040", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e78b4b012f7b35d97bfcda4bc1361357fe726c401f355ccec556b8f70cf79040", kill_on_drop: false }`
[INFO] [stdout] e78b4b012f7b35d97bfcda4bc1361357fe726c401f355ccec556b8f70cf79040
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:20528e8c29e4536546f0102ce88568b16ea7538393a33fcca951030f7af10457" "/opt/rustwide/cargo-home/bin/cargo" "+881c1ac408d93bb7adaa3a51dabab9266e82eee8" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] 77e68ba24a243ed0aac39863667d69886521a2db90bea101715a5effcb9bf516
[INFO] running `Command { std: "docker" "start" "-a" "77e68ba24a243ed0aac39863667d69886521a2db90bea101715a5effcb9bf516", kill_on_drop: false }`
[INFO] [stderr]    Compiling chalk-solve v0.66.0 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `chalk_integration`
[INFO] [stdout]  --> src/infer/test.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use chalk_integration::interner::ChalkIr;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^ use of undeclared crate or module `chalk_integration`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `chalk_integration`
[INFO] [stdout]  --> src/infer/test.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use chalk_integration::{arg, lifetime, ty};
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^ use of undeclared crate or module `chalk_integration`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `chalk_integration`
[INFO] [stdout]   --> src/solve/truncate.rs:93:13
[INFO] [stdout]    |
[INFO] [stdout] 93 |         use chalk_integration::interner::ChalkIr;
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^ use of undeclared crate or module `chalk_integration`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `chalk_integration`
[INFO] [stdout]    --> src/solve/truncate.rs:112:13
[INFO] [stdout]     |
[INFO] [stdout] 112 |         use chalk_integration::interner::ChalkIr;
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^ use of undeclared crate or module `chalk_integration`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `chalk_integration`
[INFO] [stdout]   --> src/solve/truncate.rs:89:9
[INFO] [stdout]    |
[INFO] [stdout] 89 |     use chalk_integration::{arg, ty};
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^ use of undeclared crate or module `chalk_integration`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]   --> src/infer/test.rs:36:14
[INFO] [stdout]    |
[INFO] [stdout] 36 |             &ty!(placeholder 1),
[INFO] [stdout]    |              ^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]   --> src/infer/test.rs:55:14
[INFO] [stdout]    |
[INFO] [stdout] 55 |             &ty!(apply (item 0) (expr a)),
[INFO] [stdout]    |              ^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]   --> src/infer/test.rs:67:14
[INFO] [stdout]    |
[INFO] [stdout] 67 |             &ty!(function 1 (infer 0)),
[INFO] [stdout]    |              ^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]   --> src/infer/test.rs:87:14
[INFO] [stdout]    |
[INFO] [stdout] 87 |             &ty!(apply (item 0) (expr b)),
[INFO] [stdout]    |              ^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/infer/test.rs:117:14
[INFO] [stdout]     |
[INFO] [stdout] 117 |             &ty!(placeholder 1),
[INFO] [stdout]     |              ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/infer/test.rs:157:14
[INFO] [stdout]     |
[INFO] [stdout] 157 |             &ty!(placeholder 1),
[INFO] [stdout]     |              ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/infer/test.rs:177:14
[INFO] [stdout]     |
[INFO] [stdout] 177 |             &ty!(apply (item 0) (expr b)),
[INFO] [stdout]     |              ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/infer/test.rs:187:14
[INFO] [stdout]     |
[INFO] [stdout] 187 |             &ty!(apply (item 0) (apply (item 1))),
[INFO] [stdout]     |              ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/infer/test.rs:207:14
[INFO] [stdout]     |
[INFO] [stdout] 207 |             &ty!(apply (item 0) (expr b)),
[INFO] [stdout]     |              ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/infer/test.rs:217:14
[INFO] [stdout]     |
[INFO] [stdout] 217 |             &ty!(placeholder 1),
[INFO] [stdout]     |              ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/infer/test.rs:240:14
[INFO] [stdout]     |
[INFO] [stdout] 240 |             &ty!(apply (item 0) (projection (item 1) (expr a))),
[INFO] [stdout]     |              ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/infer/test.rs:266:37
[INFO] [stdout]     |
[INFO] [stdout] 266 |             .canonicalize(interner, ty!(apply (item 0) (infer 2) (infer 1) (infer 0)))
[INFO] [stdout]     |                                     ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/infer/test.rs:269:20
[INFO] [stdout]     |
[INFO] [stdout] 269 |             value: ty!(apply (item 0) (bound 0) (bound 1) (bound 2)),
[INFO] [stdout]     |                    ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/infer/test.rs:300:14
[INFO] [stdout]     |
[INFO] [stdout] 300 |             &ty!(apply (item 1) (expr v1) (expr v0)),
[INFO] [stdout]     |              ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/infer/test.rs:308:17
[INFO] [stdout]     |
[INFO] [stdout] 308 |                 ty!(apply (item 0) (expr v2b) (expr v2a) (expr v1) (expr v0))
[INFO] [stdout]     |                 ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/infer/test.rs:312:20
[INFO] [stdout]     |
[INFO] [stdout] 312 |             value: ty!(apply (item 0) (apply (item 1) (bound 0) (bound 1)) (bound 2) (bound 0) (bound 1)),
[INFO] [stdout]     |                    ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/infer/test.rs:354:17
[INFO] [stdout]     |
[INFO] [stdout] 354 |                 ty!(function 3 (apply (item 0) (bound 1) (infer 0) (infer 1) (lifetime (infer 2))))
[INFO] [stdout]     |                 ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/infer/test.rs:358:20
[INFO] [stdout]     |
[INFO] [stdout] 358 |             value: ty!(function 3 (apply (item 0) (bound 1) (bound 1 0) (bound 1 0) (lifetime (bound 1 1)))),
[INFO] [stdout]     |                    ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/infer/test.rs:383:15
[INFO] [stdout]     |
[INFO] [stdout] 383 |     let t_a = ty!(apply (item 0) (lifetime (placeholder 1)));
[INFO] [stdout]     |               ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/infer/test.rs:384:15
[INFO] [stdout]     |
[INFO] [stdout] 384 |     let t_b = ty!(apply (item 0) (lifetime (infer 1)));
[INFO] [stdout]     |               ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/infer/test.rs:402:15
[INFO] [stdout]     |
[INFO] [stdout] 402 |     let t_c = ty!(infer 0);
[INFO] [stdout]     |               ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]   --> src/solve/truncate.rs:99:19
[INFO] [stdout]    |
[INFO] [stdout] 99 |         let ty0 = ty!(apply (item 0)
[INFO] [stdout]    |                   ^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/solve/truncate.rs:118:19
[INFO] [stdout]     |
[INFO] [stdout] 118 |         let ty0 = ty!(apply (item 0)
[INFO] [stdout]     |                   ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `ty`
[INFO] [stdout]    --> src/solve/truncate.rs:124:19
[INFO] [stdout]     |
[INFO] [stdout] 124 |         let ty1 = ty!(apply (item 0)
[INFO] [stdout]     |                   ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `chalk_integration`
[INFO] [stdout]   --> src/solve/truncate.rs:95:42
[INFO] [stdout]    |
[INFO] [stdout] 95 |         let mut table = InferenceTable::<chalk_integration::interner::ChalkIr>::new();
[INFO] [stdout]    |                                          ^^^^^^^^^^^^^^^^^ use of undeclared crate or module `chalk_integration`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `chalk_integration`
[INFO] [stdout]    --> src/solve/truncate.rs:114:42
[INFO] [stdout]     |
[INFO] [stdout] 114 |         let mut table = InferenceTable::<chalk_integration::interner::ChalkIr>::new();
[INFO] [stdout]     |                                          ^^^^^^^^^^^^^^^^^ use of undeclared crate or module `chalk_integration`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]   --> src/infer/test.rs:12:26
[INFO] [stdout]    |
[INFO] [stdout] 12 | impl UnificationDatabase<ChalkIr> for TestDatabase {
[INFO] [stdout]    |     -                    ^^^^^^^ not found in this scope
[INFO] [stdout]    |     |
[INFO] [stdout]    |     help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]   --> src/infer/test.rs:13:51
[INFO] [stdout]    |
[INFO] [stdout] 12 | impl UnificationDatabase<ChalkIr> for TestDatabase {
[INFO] [stdout]    |     - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] 13 |     fn fn_def_variance(&self, _fn_def_id: FnDefId<ChalkIr>) -> Variances<ChalkIr> {
[INFO] [stdout]    |                                                   ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]   --> src/infer/test.rs:13:74
[INFO] [stdout]    |
[INFO] [stdout] 12 | impl UnificationDatabase<ChalkIr> for TestDatabase {
[INFO] [stdout]    |     - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] 13 |     fn fn_def_variance(&self, _fn_def_id: FnDefId<ChalkIr>) -> Variances<ChalkIr> {
[INFO] [stdout]    |                                                                          ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]   --> src/infer/test.rs:14:31
[INFO] [stdout]    |
[INFO] [stdout] 14 |         Variances::from_iter(&ChalkIr, [Variance::Invariant; 20].iter().copied())
[INFO] [stdout]    |                               ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]   --> src/infer/test.rs:17:43
[INFO] [stdout]    |
[INFO] [stdout] 12 | impl UnificationDatabase<ChalkIr> for TestDatabase {
[INFO] [stdout]    |     - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] ...
[INFO] [stdout] 17 |     fn adt_variance(&self, _adt_id: AdtId<ChalkIr>) -> Variances<ChalkIr> {
[INFO] [stdout]    |                                           ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]   --> src/infer/test.rs:17:66
[INFO] [stdout]    |
[INFO] [stdout] 12 | impl UnificationDatabase<ChalkIr> for TestDatabase {
[INFO] [stdout]    |     - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] ...
[INFO] [stdout] 17 |     fn adt_variance(&self, _adt_id: AdtId<ChalkIr>) -> Variances<ChalkIr> {
[INFO] [stdout]    |                                                                  ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]   --> src/infer/test.rs:18:31
[INFO] [stdout]    |
[INFO] [stdout] 18 |         Variances::from_iter(&ChalkIr, [Variance::Invariant; 20].iter().copied())
[INFO] [stdout]    |                               ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]   --> src/infer/test.rs:25:21
[INFO] [stdout]    |
[INFO] [stdout] 25 |     let interner = &ChalkIr;
[INFO] [stdout]    |                     ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]   --> src/infer/test.rs:26:35
[INFO] [stdout]    |
[INFO] [stdout] 23 | fn universe_error() {
[INFO] [stdout]    |                  - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] ...
[INFO] [stdout] 26 |     let mut table: InferenceTable<ChalkIr> = InferenceTable::new();
[INFO] [stdout]    |                                   ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]   --> src/infer/test.rs:44:21
[INFO] [stdout]    |
[INFO] [stdout] 44 |     let interner = &ChalkIr;
[INFO] [stdout]    |                     ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]   --> src/infer/test.rs:45:35
[INFO] [stdout]    |
[INFO] [stdout] 42 | fn cycle_error() {
[INFO] [stdout]    |               - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] ...
[INFO] [stdout] 45 |     let mut table: InferenceTable<ChalkIr> = InferenceTable::new();
[INFO] [stdout]    |                                   ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]   --> src/infer/test.rs:75:21
[INFO] [stdout]    |
[INFO] [stdout] 75 |     let interner = &ChalkIr;
[INFO] [stdout]    |                     ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]   --> src/infer/test.rs:76:35
[INFO] [stdout]    |
[INFO] [stdout] 73 | fn cycle_indirect() {
[INFO] [stdout]    |                  - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] ...
[INFO] [stdout] 76 |     let mut table: InferenceTable<ChalkIr> = InferenceTable::new();
[INFO] [stdout]    |                                   ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]    --> src/infer/test.rs:105:21
[INFO] [stdout]     |
[INFO] [stdout] 105 |     let interner = &ChalkIr;
[INFO] [stdout]     |                     ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]    --> src/infer/test.rs:106:35
[INFO] [stdout]     |
[INFO] [stdout] 103 | fn universe_error_indirect_1() {
[INFO] [stdout]     |                             - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] ...
[INFO] [stdout] 106 |     let mut table: InferenceTable<ChalkIr> = InferenceTable::new();
[INFO] [stdout]     |                                   ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]    --> src/infer/test.rs:135:21
[INFO] [stdout]     |
[INFO] [stdout] 135 |     let interner = &ChalkIr;
[INFO] [stdout]     |                     ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]    --> src/infer/test.rs:136:35
[INFO] [stdout]     |
[INFO] [stdout] 133 | fn universe_error_indirect_2() {
[INFO] [stdout]     |                             - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] ...
[INFO] [stdout] 136 |     let mut table: InferenceTable<ChalkIr> = InferenceTable::new();
[INFO] [stdout]     |                                   ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]    --> src/infer/test.rs:165:21
[INFO] [stdout]     |
[INFO] [stdout] 165 |     let interner = &ChalkIr;
[INFO] [stdout]     |                     ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]    --> src/infer/test.rs:166:35
[INFO] [stdout]     |
[INFO] [stdout] 163 | fn universe_promote() {
[INFO] [stdout]     |                    - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] ...
[INFO] [stdout] 166 |     let mut table: InferenceTable<ChalkIr> = InferenceTable::new();
[INFO] [stdout]     |                                   ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]    --> src/infer/test.rs:195:21
[INFO] [stdout]     |
[INFO] [stdout] 195 |     let interner = &ChalkIr;
[INFO] [stdout]     |                     ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]    --> src/infer/test.rs:196:35
[INFO] [stdout]     |
[INFO] [stdout] 193 | fn universe_promote_bad() {
[INFO] [stdout]     |                        - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] ...
[INFO] [stdout] 196 |     let mut table: InferenceTable<ChalkIr> = InferenceTable::new();
[INFO] [stdout]     |                                   ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]    --> src/infer/test.rs:227:21
[INFO] [stdout]     |
[INFO] [stdout] 227 |     let interner = &ChalkIr;
[INFO] [stdout]     |                     ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]    --> src/infer/test.rs:228:35
[INFO] [stdout]     |
[INFO] [stdout] 223 | fn projection_eq() {
[INFO] [stdout]     |                 - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] ...
[INFO] [stdout] 228 |     let mut table: InferenceTable<ChalkIr> = InferenceTable::new();
[INFO] [stdout]     |                                   ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]    --> src/infer/test.rs:249:35
[INFO] [stdout]     |
[INFO] [stdout] 249 | fn make_table() -> InferenceTable<ChalkIr> {
[INFO] [stdout]     |              -                    ^^^^^^^ not found in this scope
[INFO] [stdout]     |              |
[INFO] [stdout]     |              help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]    --> src/infer/test.rs:250:35
[INFO] [stdout]     |
[INFO] [stdout] 249 | fn make_table() -> InferenceTable<ChalkIr> {
[INFO] [stdout]     |              - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] 250 |     let mut table: InferenceTable<ChalkIr> = InferenceTable::new();
[INFO] [stdout]     |                                   ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]    --> src/infer/test.rs:258:21
[INFO] [stdout]     |
[INFO] [stdout] 258 |     let interner = &ChalkIr;
[INFO] [stdout]     |                     ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]    --> src/infer/test.rs:284:21
[INFO] [stdout]     |
[INFO] [stdout] 284 |     let interner = &ChalkIr;
[INFO] [stdout]     |                     ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]    --> src/infer/test.rs:327:21
[INFO] [stdout]     |
[INFO] [stdout] 327 |     let interner = &ChalkIr;
[INFO] [stdout]     |                     ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]    --> src/infer/test.rs:372:21
[INFO] [stdout]     |
[INFO] [stdout] 372 |     let interner = &ChalkIr;
[INFO] [stdout]     |                     ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `ChalkIr` in this scope
[INFO] [stdout]    --> src/infer/test.rs:373:35
[INFO] [stdout]     |
[INFO] [stdout] 371 | fn lifetime_constraint_indirect() {
[INFO] [stdout]     |                                - help: you might be missing a type parameter: `<ChalkIr>`
[INFO] [stdout] 372 |     let interner = &ChalkIr;
[INFO] [stdout] 373 |     let mut table: InferenceTable<ChalkIr> = InferenceTable::new();
[INFO] [stdout]     |                                   ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]   --> src/solve/truncate.rs:94:25
[INFO] [stdout]    |
[INFO] [stdout] 94 |         let interner = &ChalkIr;
[INFO] [stdout]    |                         ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ChalkIr` in this scope
[INFO] [stdout]    --> src/solve/truncate.rs:113:25
[INFO] [stdout]     |
[INFO] [stdout] 113 |         let interner = &ChalkIr;
[INFO] [stdout]     |                         ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 63 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0412, E0425, E0432, E0433.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0412`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `chalk-solve`
[INFO] [stderr] 
[INFO] [stderr] To learn more, run the command again with --verbose.
[INFO] running `Command { std: "docker" "inspect" "77e68ba24a243ed0aac39863667d69886521a2db90bea101715a5effcb9bf516", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "77e68ba24a243ed0aac39863667d69886521a2db90bea101715a5effcb9bf516", kill_on_drop: false }`
[INFO] [stdout] 77e68ba24a243ed0aac39863667d69886521a2db90bea101715a5effcb9bf516
